Optimal. Leaf size=268 \[ -\frac{\tan ^{-1}\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}}\right ) \left (-\frac{3 \sqrt{b} (7 b c-a g)}{\sqrt{a}}-3 a i+5 b e\right )}{64 a^{9/4} b^{7/4}}+\frac{\tanh ^{-1}\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}}\right ) \left (\frac{3 \sqrt{b} (7 b c-a g)}{\sqrt{a}}-3 a i+5 b e\right )}{64 a^{9/4} b^{7/4}}+\frac{(3 b d-a h) \tanh ^{-1}\left (\frac{\sqrt{b} x^2}{\sqrt{a}}\right )}{16 a^{5/2} b^{3/2}}+\frac{x \left (2 x (3 b d-a h)+x^2 (5 b e-3 a i)-a g+7 b c\right )+4 a f}{32 a^2 b \left (a-b x^4\right )}+\frac{x \left (x (a h+b d)+x^2 (a i+b e)+a g+b c+b f x^3\right )}{8 a b \left (a-b x^4\right )^2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.959422, antiderivative size = 268, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 7, integrand size = 41, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.171 \[ -\frac{\tan ^{-1}\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}}\right ) \left (-\frac{3 \sqrt{b} (7 b c-a g)}{\sqrt{a}}-3 a i+5 b e\right )}{64 a^{9/4} b^{7/4}}+\frac{\tanh ^{-1}\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}}\right ) \left (\frac{3 \sqrt{b} (7 b c-a g)}{\sqrt{a}}-3 a i+5 b e\right )}{64 a^{9/4} b^{7/4}}+\frac{(3 b d-a h) \tanh ^{-1}\left (\frac{\sqrt{b} x^2}{\sqrt{a}}\right )}{16 a^{5/2} b^{3/2}}+\frac{x \left (2 x (3 b d-a h)+x^2 (5 b e-3 a i)-a g+7 b c\right )+4 a f}{32 a^2 b \left (a-b x^4\right )}+\frac{x \left (x (a h+b d)+x^2 (a i+b e)+a g+b c+b f x^3\right )}{8 a b \left (a-b x^4\right )^2} \]
Antiderivative was successfully verified.
[In] Int[(c + d*x + e*x^2 + f*x^3 + g*x^4 + h*x^5 + i*x^6)/(a - b*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 127.972, size = 252, normalized size = 0.94 \[ \frac{x \left (a g + b c + b f x^{3} + x^{2} \left (a i + b e\right ) + x \left (a h + b d\right )\right )}{8 a b \left (a - b x^{4}\right )^{2}} + \frac{4 a f - x \left (a g - 7 b c + x^{2} \left (3 a i - 5 b e\right ) + 2 x \left (a h - 3 b d\right )\right )}{32 a^{2} b \left (a - b x^{4}\right )} - \frac{\left (a h - 3 b d\right ) \operatorname{atanh}{\left (\frac{\sqrt{b} x^{2}}{\sqrt{a}} \right )}}{16 a^{\frac{5}{2}} b^{\frac{3}{2}}} + \frac{\left (\sqrt{a} \left (6 a - 5 b e\right ) - 3 a \sqrt{b} g + 21 b^{\frac{3}{2}} c\right ) \operatorname{atan}{\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}} \right )}}{64 a^{\frac{11}{4}} b^{\frac{7}{4}}} - \frac{\left (\sqrt{a} \left (6 a - 5 b e\right ) + 3 a \sqrt{b} g - 21 b^{\frac{3}{2}} c\right ) \operatorname{atanh}{\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}} \right )}}{64 a^{\frac{11}{4}} b^{\frac{7}{4}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((i*x**6+h*x**5+g*x**4+f*x**3+e*x**2+d*x+c)/(-b*x**4+a)**3,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.673875, size = 359, normalized size = 1.34 \[ \frac{\frac{16 a^{7/4} b^{3/4} (a (f+x (g+x (h+i x)))+b x (c+x (d+e x)))}{\left (a-b x^4\right )^2}-\frac{4 a^{3/4} b^{3/4} x (a (g+x (2 h+3 i x))-b (7 c+x (6 d+5 e x)))}{a-b x^4}+\log \left (\sqrt [4]{a}-\sqrt [4]{b} x\right ) \left (4 a^{5/4} \sqrt [4]{b} h+3 a^{3/2} i-12 \sqrt [4]{a} b^{5/4} d-5 \sqrt{a} b e+3 a \sqrt{b} g-21 b^{3/2} c\right )+\log \left (\sqrt [4]{a}+\sqrt [4]{b} x\right ) \left (4 a^{5/4} \sqrt [4]{b} h-3 a^{3/2} i-12 \sqrt [4]{a} b^{5/4} d+5 \sqrt{a} b e-3 a \sqrt{b} g+21 b^{3/2} c\right )+2 \tan ^{-1}\left (\frac{\sqrt [4]{b} x}{\sqrt [4]{a}}\right ) \left (3 a^{3/2} i-5 \sqrt{a} b e-3 a \sqrt{b} g+21 b^{3/2} c\right )-4 \sqrt [4]{a} \sqrt [4]{b} (a h-3 b d) \log \left (\sqrt{a}+\sqrt{b} x^2\right )}{128 a^{11/4} b^{7/4}} \]
Antiderivative was successfully verified.
[In] Integrate[(c + d*x + e*x^2 + f*x^3 + g*x^4 + h*x^5 + i*x^6)/(a - b*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.017, size = 501, normalized size = 1.9 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((i*x^6+h*x^5+g*x^4+f*x^3+e*x^2+d*x+c)/(-b*x^4+a)^3,x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-(i*x^6 + h*x^5 + g*x^4 + f*x^3 + e*x^2 + d*x + c)/(b*x^4 - a)^3,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F(-2)] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: NotImplementedError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-(i*x^6 + h*x^5 + g*x^4 + f*x^3 + e*x^2 + d*x + c)/(b*x^4 - a)^3,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((i*x**6+h*x**5+g*x**4+f*x**3+e*x**2+d*x+c)/(-b*x**4+a)**3,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.235573, size = 942, normalized size = 3.51 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-(i*x^6 + h*x^5 + g*x^4 + f*x^3 + e*x^2 + d*x + c)/(b*x^4 - a)^3,x, algorithm="giac")
[Out]